echo "Enter your name:"
var name:string
while name == "":
  echo "Please tell me your name:"
  name = readLine(stdin)
echo "Hello, ", name

